[next] [prev] [prev-tail] [tail] [up]

Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

791 791 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.073 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

841 841 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.163 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

244 244 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.610 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

253 253 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.575 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 310 58 0 0 0

N.S.

1 1.00 1.00 0.00 8.16 1.53 0.00 0.00 0.00

time (sec)

N/A 1.079 0.111 0.000 3.123 0.278 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 337 119 163 127 0 188 166

N.S.

1 1.00 3.18 1.12 1.54 1.20 0.00 1.77 1.57

time (sec)

N/A 0.208 1.158 0.488 0.262 0.289 0.000 0.300 18.762

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 181 81 127 105 0 154 126

N.S.

1 1.00 2.10 0.94 1.48 1.22 0.00 1.79 1.47

time (sec)

N/A 0.178 0.803 0.400 0.215 0.267 0.000 0.297 17.787

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 75 75 88 89 0 124 94

N.S.

1 1.00 1.34 1.34 1.57 1.59 0.00 2.21 1.68

time (sec)

N/A 0.072 0.020 0.280 0.237 0.268 0.000 0.290 16.733

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 43 57 73 79 0 84 100

N.S.

1 1.00 1.34 1.78 2.28 2.47 0.00 2.62 3.12

time (sec)

N/A 0.081 0.008 0.227 0.240 0.261 0.000 0.283 15.947

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 46 48 58 51 0 79 100

N.S.

1 1.00 1.44 1.50 1.81 1.59 0.00 2.47 3.12

time (sec)

N/A 0.117 0.014 0.165 0.215 0.283 0.000 0.283 16.229

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 44 42 55 38 0 93 50

N.S.

1 1.00 0.94 0.89 1.17 0.81 0.00 1.98 1.06

time (sec)

N/A 0.156 0.066 0.166 0.225 0.242 0.000 0.287 15.539

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 65 54 79 56 0 124 84

N.S.

1 1.00 0.84 0.70 1.03 0.73 0.00 1.61 1.09

time (sec)

N/A 0.201 0.125 0.246 0.255 0.258 0.000 0.293 15.437

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 75 67 101 74 0 156 184

N.S.

1 1.00 0.77 0.69 1.04 0.76 0.00 1.61 1.90

time (sec)

N/A 0.194 0.162 0.315 0.232 0.259 0.000 0.287 18.517

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 391 173 278 165 0 246 224

N.S.

1 1.00 2.31 1.02 1.64 0.98 0.00 1.46 1.33

time (sec)

N/A 0.362 1.342 0.576 0.259 0.272 0.000 0.335 18.460

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 339 150 230 145 0 212 183

N.S.

1 1.00 2.46 1.09 1.67 1.05 0.00 1.54 1.33

time (sec)

N/A 0.303 0.960 0.510 0.278 0.265 0.000 0.326 18.168

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 63 120 167 125 0 178 145

N.S.

1 1.00 0.61 1.17 1.62 1.21 0.00 1.73 1.41

time (sec)

N/A 0.122 0.248 0.417 0.223 0.265 0.000 0.323 17.739

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 53 114 142 119 0 154 162

N.S.

1 1.00 0.65 1.39 1.73 1.45 0.00 1.88 1.98

time (sec)

N/A 0.157 0.534 0.338 0.240 0.265 0.000 0.316 15.421

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 143 88 105 108 0 157 161

N.S.

1 1.00 1.96 1.21 1.44 1.48 0.00 2.15 2.21

time (sec)

N/A 0.234 1.474 0.272 0.227 0.272 0.000 0.314 15.368

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 96 73 101 79 0 145 141

N.S.

1 1.00 1.09 0.83 1.15 0.90 0.00 1.65 1.60

time (sec)

N/A 0.253 0.378 0.189 0.265 0.271 0.000 0.308 15.719

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 84 60 110 70 0 142 98

N.S.

1 1.00 0.82 0.59 1.08 0.69 0.00 1.39 0.96

time (sec)

N/A 0.265 0.307 0.257 0.254 0.262 0.000 0.298 15.597

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 86 75 144 90 0 176 134

N.S.

1 1.00 0.64 0.56 1.07 0.67 0.00 1.30 0.99

time (sec)

N/A 0.358 0.221 0.326 0.238 0.269 0.000 0.323 16.193

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 108 94 178 110 0 210 247

N.S.

1 1.00 0.68 0.59 1.11 0.69 0.00 1.31 1.54

time (sec)

N/A 0.344 0.234 0.332 0.255 0.255 0.000 0.330 18.850

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 391 196 337 165 0 246 224

N.S.

1 1.00 2.40 1.20 2.07 1.01 0.00 1.51 1.37

time (sec)

N/A 0.347 1.872 0.612 0.246 0.262 0.000 0.348 18.802

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 81 175 262 145 0 212 185

N.S.

1 1.00 0.65 1.40 2.10 1.16 0.00 1.70 1.48

time (sec)

N/A 0.161 0.345 0.500 0.237 0.262 0.000 0.337 18.502

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 70 172 212 141 0 189 209

N.S.

1 1.00 0.63 1.55 1.91 1.27 0.00 1.70 1.88

time (sec)

N/A 0.235 1.089 0.430 0.211 0.291 0.000 0.339 16.033

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 208 137 165 137 0 192 207

N.S.

1 1.00 1.93 1.27 1.53 1.27 0.00 1.78 1.92

time (sec)

N/A 0.339 3.348 0.392 0.253 0.289 0.000 0.336 16.077

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 272 122 140 127 0 192 197

N.S.

1 1.00 2.32 1.04 1.20 1.09 0.00 1.64 1.68

time (sec)

N/A 0.356 2.103 0.328 0.258 0.264 0.000 0.336 15.888

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 113 91 148 102 0 180 178

N.S.

1 1.00 0.90 0.73 1.18 0.82 0.00 1.44 1.42

time (sec)

N/A 0.367 0.523 0.296 0.235 0.279 0.000 0.332 16.570

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 102 78 167 90 0 176 134

N.S.

1 1.00 0.82 0.63 1.35 0.73 0.00 1.42 1.08

time (sec)

N/A 0.287 0.425 0.268 0.232 0.250 0.000 0.327 16.742

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 108 93 213 110 0 210 247

N.S.

1 1.00 0.61 0.53 1.21 0.62 0.00 1.19 1.40

time (sec)

N/A 0.490 0.276 0.333 0.253 0.265 0.000 0.328 19.189

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 134 112 262 130 0 244 285

N.S.

1 1.00 0.67 0.56 1.30 0.65 0.00 1.21 1.42

time (sec)

N/A 0.524 0.292 0.417 0.250 0.253 0.000 0.345 19.405

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 100 167 368 170 0 182 152

N.S.

1 1.00 0.76 1.27 2.81 1.30 0.00 1.39 1.16

time (sec)

N/A 0.283 0.742 0.292 0.244 0.273 0.000 0.314 16.289

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 76 122 282 156 0 156 119

N.S.

1 1.00 0.70 1.13 2.61 1.44 0.00 1.44 1.10

time (sec)

N/A 0.302 0.455 0.240 0.221 0.259 0.000 0.299 16.175

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 47 93 196 127 0 109 79

N.S.

1 1.00 0.76 1.50 3.16 2.05 0.00 1.76 1.27

time (sec)

N/A 0.206 0.514 0.184 0.241 0.263 0.000 0.305 16.075

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 106 53 99 74 0 70 41

N.S.

1 1.00 2.41 1.20 2.25 1.68 0.00 1.59 0.93

time (sec)

N/A 0.083 0.622 0.117 0.233 0.291 0.000 0.291 15.848

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 76 28 73 44 0 44 32

N.S.

1 1.00 2.17 0.80 2.09 1.26 0.00 1.26 0.91

time (sec)

N/A 0.164 0.331 0.135 0.342 0.251 0.000 0.277 16.010

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 76 43 143 63 0 79 65

N.S.

1 1.00 1.27 0.72 2.38 1.05 0.00 1.32 1.08

time (sec)

N/A 0.227 0.368 0.165 0.317 0.243 0.000 0.283 15.989

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 197 61 225 81 0 123 107

N.S.

1 1.00 2.01 0.62 2.30 0.83 0.00 1.26 1.09

time (sec)

N/A 0.276 0.830 0.198 0.323 0.248 0.000 0.282 16.175

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 249 78 310 97 0 151 138

N.S.

1 1.00 2.04 0.64 2.54 0.80 0.00 1.24 1.13

time (sec)

N/A 0.298 0.961 0.230 0.333 0.262 0.000 0.282 17.002

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 130 160 336 228 0 198 166

N.S.

1 1.00 0.83 1.03 2.15 1.46 0.00 1.27 1.06

time (sec)

N/A 0.446 1.695 0.288 0.215 0.262 0.000 0.324 15.955

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 119 126 244 195 0 151 120

N.S.

1 1.00 1.10 1.17 2.26 1.81 0.00 1.40 1.11

time (sec)

N/A 0.390 0.983 0.224 0.220 0.262 0.000 0.298 16.003

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 57 74 145 129 0 112 74

N.S.

1 1.00 0.72 0.94 1.84 1.63 0.00 1.42 0.94

time (sec)

N/A 0.281 0.345 0.142 0.246 0.248 0.000 0.292 15.822

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 43 42 93 58 0 60 45

N.S.

1 1.00 0.69 0.68 1.50 0.94 0.00 0.97 0.73

time (sec)

N/A 0.095 0.063 0.119 0.220 0.249 0.000 0.293 15.583

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 153 49 120 94 0 85 65

N.S.

1 1.00 2.19 0.70 1.71 1.34 0.00 1.21 0.93

time (sec)

N/A 0.207 0.587 0.144 0.307 0.250 0.000 0.304 15.952

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 245 73 191 123 0 121 109

N.S.

1 1.00 2.50 0.74 1.95 1.26 0.00 1.23 1.11

time (sec)

N/A 0.383 0.884 0.205 0.326 0.252 0.000 0.311 15.801

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 315 88 283 138 0 164 154

N.S.

1 1.00 2.20 0.62 1.98 0.97 0.00 1.15 1.08

time (sec)

N/A 0.427 1.192 0.232 0.324 0.257 0.000 0.299 15.501

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 369 106 372 157 0 192 187

N.S.

1 1.00 2.17 0.62 2.19 0.92 0.00 1.13 1.10

time (sec)

N/A 0.478 1.326 0.274 0.311 0.264 0.000 0.296 15.900

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 192 175 377 295 0 233 216

N.S.

1 1.00 0.95 0.87 1.87 1.46 0.00 1.15 1.07

time (sec)

N/A 0.642 1.893 0.350 0.219 0.269 0.000 0.344 15.727

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 143 145 286 256 0 186 168

N.S.

1 1.00 0.92 0.93 1.83 1.64 0.00 1.19 1.08

time (sec)

N/A 0.538 1.425 0.284 0.221 0.258 0.000 0.329 15.905

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 107 92 187 183 0 147 124

N.S.

1 1.00 0.86 0.74 1.50 1.46 0.00 1.18 0.99

time (sec)

N/A 0.444 0.746 0.164 0.241 0.242 0.000 0.334 15.697

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 70 56 115 93 0 75 66

N.S.

1 1.00 0.69 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.272 0.293 0.150 0.242 0.237 0.000 0.309 15.809

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 63 56 115 93 0 75 66

N.S.

1 1.00 0.62 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.122 0.836 0.148 0.217 0.242 0.000 0.314 15.862

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 241 69 160 138 0 121 133

N.S.

1 1.00 2.23 0.64 1.48 1.28 0.00 1.12 1.23

time (sec)

N/A 0.296 1.053 0.161 0.343 0.251 0.000 0.312 15.916

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 365 89 231 173 0 157 155

N.S.

1 1.00 2.68 0.65 1.70 1.27 0.00 1.15 1.14

time (sec)

N/A 0.520 1.610 0.238 0.328 0.250 0.000 0.313 15.888

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 435 107 322 190 0 200 204

N.S.

1 1.00 2.33 0.57 1.72 1.02 0.00 1.07 1.09

time (sec)

N/A 0.602 1.637 0.260 0.337 0.256 0.000 0.330 15.915

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 230 115 152 0 139 0 0 626

N.S.

1 1.00 0.50 0.66 0.00 0.60 0.00 0.00 2.72

time (sec)

N/A 0.589 5.288 0.727 0.000 0.267 0.000 0.000 27.280

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 98 130 0 122 0 0 512

N.S.

1 1.00 0.52 0.70 0.00 0.65 0.00 0.00 2.74

time (sec)

N/A 0.550 0.742 0.740 0.000 0.275 0.000 0.000 26.551

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 81 108 0 105 0 0 407

N.S.

1 1.00 0.56 0.75 0.00 0.73 0.00 0.00 2.83

time (sec)

N/A 0.458 0.508 0.706 0.000 0.276 0.000 0.000 20.207

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 80 80 0 87 0 0 212

N.S.

1 1.00 0.79 0.79 0.00 0.86 0.00 0.00 2.10

time (sec)

N/A 0.351 0.556 0.631 0.000 0.260 0.000 0.000 21.443

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 43 55 0 66 0 0 159

N.S.

1 1.00 0.69 0.89 0.00 1.06 0.00 0.00 2.56

time (sec)

N/A 0.104 0.241 0.635 0.000 0.263 0.000 0.000 17.739

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 76 96 147 235 0 0 0

N.S.

1 1.00 1.15 1.45 2.23 3.56 0.00 0.00 0.00

time (sec)

N/A 0.215 0.418 0.548 0.378 0.271 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 83 296 939 261 0 0 0

N.S.

1 1.00 1.22 4.35 13.81 3.84 0.00 0.00 0.00

time (sec)

N/A 0.256 0.273 1.386 0.445 0.305 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 117 332 1851 308 0 0 0

N.S.

1 1.00 1.00 2.84 15.82 2.63 0.00 0.00 0.00

time (sec)

N/A 0.358 0.265 1.452 0.551 0.322 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 70 366 2981 346 0 0 0

N.S.

1 1.00 0.44 2.29 18.63 2.16 0.00 0.00 0.00

time (sec)

N/A 0.440 0.126 1.529 0.697 0.309 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 113 153 0 145 0 0 720

N.S.

1 1.00 0.48 0.65 0.00 0.62 0.00 0.00 3.08

time (sec)

N/A 0.823 3.769 0.890 0.000 0.289 0.000 0.000 27.466

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 100 131 0 127 0 0 596

N.S.

1 1.00 0.53 0.69 0.00 0.67 0.00 0.00 3.15

time (sec)

N/A 0.697 0.481 0.778 0.000 0.261 0.000 0.000 25.558

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 82 109 0 108 0 0 479

N.S.

1 1.00 0.59 0.79 0.00 0.78 0.00 0.00 3.47

time (sec)

N/A 0.444 0.256 0.745 0.000 0.260 0.000 0.000 21.432

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 62 81 0 89 0 0 213

N.S.

1 1.00 0.61 0.80 0.00 0.88 0.00 0.00 2.11

time (sec)

N/A 0.169 0.184 0.729 0.000 0.258 0.000 0.000 20.450

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 102 206 998 314 0 0 0

N.S.

1 1.00 0.97 1.96 9.50 2.99 0.00 0.00 0.00

time (sec)

N/A 0.296 0.633 0.334 0.461 0.278 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 92 308 1801 292 0 0 0

N.S.

1 1.00 0.89 2.99 17.49 2.83 0.00 0.00 0.00

time (sec)

N/A 0.426 0.402 1.725 0.614 0.295 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 119 333 0 320 0 0 0

N.S.

1 1.00 1.00 2.80 0.00 2.69 0.00 0.00 0.00

time (sec)

N/A 0.470 1.624 1.702 0.000 0.318 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 738 367 0 360 0 0 0

N.S.

1 1.00 4.50 2.24 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.570 8.988 1.630 0.000 0.307 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 1026 401 0 396 0 0 0

N.S.

1 1.00 4.91 1.92 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.666 9.313 1.712 0.000 0.310 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 282 131 177 0 177 0 0 988

N.S.

1 1.00 0.46 0.63 0.00 0.63 0.00 0.00 3.50

time (sec)

N/A 1.013 0.384 0.919 0.000 0.271 0.000 0.000 29.004

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 117 155 0 157 0 0 855

N.S.

1 1.00 0.49 0.65 0.00 0.66 0.00 0.00 3.61

time (sec)

N/A 0.907 4.800 198.819 0.000 0.287 0.000 0.000 26.587

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 96 133 0 136 0 0 723

N.S.

1 1.00 0.55 0.76 0.00 0.78 0.00 0.00 4.13

time (sec)

N/A 0.502 0.806 72.176 0.000 0.277 0.000 0.000 28.030

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 79 111 0 115 0 0 590

N.S.

1 1.00 0.57 0.80 0.00 0.83 0.00 0.00 4.28

time (sec)

N/A 0.238 0.465 21.638 0.000 0.258 0.000 0.000 20.397

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 128 211 1396 378 0 0 0

N.S.

1 1.00 0.90 1.49 9.83 2.66 0.00 0.00 0.00

time (sec)

N/A 0.400 1.822 2.803 0.409 0.284 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 117 330 2780 386 0 0 0

N.S.

1 1.00 0.82 2.31 19.44 2.70 0.00 0.00 0.00

time (sec)

N/A 0.634 3.901 16.552 0.524 0.306 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 159 344 0 348 0 0 0

N.S.

1 1.00 1.03 2.23 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.671 1.100 59.646 0.000 0.298 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 121 369 0 380 0 0 0

N.S.

1 1.00 0.74 2.25 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 0.704 3.903 196.435 0.000 0.311 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 366 403 0 420 0 0 0

N.S.

1 1.00 1.75 1.93 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.854 0.913 0.403 0.000 0.322 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 416 437 0 460 0 0 0

N.S.

1 1.00 1.64 1.72 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.919 1.174 0.440 0.000 0.317 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

243 243 183 405 0 465 0 321 0

N.S.

1 1.00 0.75 1.67 0.00 1.91 0.00 1.32 0.00

time (sec)

N/A 1.042 0.852 0.983 0.000 0.302 0.000 1.425 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

202 202 140 359 0 432 0 252 0

N.S.

1 1.00 0.69 1.78 0.00 2.14 0.00 1.25 0.00

time (sec)

N/A 0.814 0.374 0.908 0.000 0.297 0.000 1.398 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 123 313 0 397 0 229 0

N.S.

1 1.00 0.77 1.97 0.00 2.50 0.00 1.44 0.00

time (sec)

N/A 0.628 0.521 0.853 0.000 0.284 0.000 1.313 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 106 267 0 352 0 165 0

N.S.

1 1.00 0.90 2.26 0.00 2.98 0.00 1.40 0.00

time (sec)

N/A 0.379 0.394 0.795 0.000 0.288 0.000 1.157 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 88 194 0 287 0 131 0

N.S.

1 1.00 1.13 2.49 0.00 3.68 0.00 1.68 0.00

time (sec)

N/A 0.121 0.232 0.724 0.000 0.300 0.000 1.194 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 92 203 699 307 0 0 0

N.S.

1 1.00 1.01 2.23 7.68 3.37 0.00 0.00 0.00

time (sec)

N/A 0.219 0.930 0.433 0.652 0.723 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 115 317 0 458 0 365 0

N.S.

1 1.00 0.97 2.66 0.00 3.85 0.00 3.07 0.00

time (sec)

N/A 0.393 0.323 1.862 0.000 0.907 0.000 1.920 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 135 651 0 506 0 621 0

N.S.

1 1.00 0.82 3.95 0.00 3.07 0.00 3.76 0.00

time (sec)

N/A 0.589 0.641 1.757 0.000 1.372 0.000 2.049 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 150 685 0 539 0 818 0

N.S.

1 1.00 0.73 3.33 0.00 2.62 0.00 3.97 0.00

time (sec)

N/A 0.818 0.665 1.780 0.000 1.408 0.000 2.172 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 261 204 423 0 539 0 362 0

N.S.

1 1.00 0.78 1.62 0.00 2.07 0.00 1.39 0.00

time (sec)

N/A 1.139 0.896 1.040 0.000 0.332 0.000 1.779 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

216 216 160 377 0 504 0 277 0

N.S.

1 1.00 0.74 1.75 0.00 2.33 0.00 1.28 0.00

time (sec)

N/A 0.892 2.967 0.971 0.000 0.299 0.000 1.655 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

171 171 141 331 0 459 0 247 0

N.S.

1 1.00 0.82 1.94 0.00 2.68 0.00 1.44 0.00

time (sec)

N/A 0.701 1.878 0.941 0.000 0.313 0.000 1.725 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 125 259 0 386 0 187 0

N.S.

1 1.00 1.06 2.19 0.00 3.27 0.00 1.58 0.00

time (sec)

N/A 0.405 0.521 0.885 0.000 0.300 0.000 1.482 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 127 238 0 367 0 133 0

N.S.

1 1.00 1.46 2.74 0.00 4.22 0.00 1.53 0.00

time (sec)

N/A 0.133 0.575 0.663 0.000 0.282 0.000 1.396 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 147 289 0 548 0 0 0

N.S.

1 1.00 1.16 2.28 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 0.333 4.150 0.497 0.000 1.800 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

170 170 169 829 0 609 0 418 0

N.S.

1 1.00 0.99 4.88 0.00 3.58 0.00 2.46 0.00

time (sec)

N/A 0.582 0.757 1.922 0.000 2.271 0.000 2.299 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 395 991 0 644 0 638 0

N.S.

1 1.00 1.79 4.48 0.00 2.91 0.00 2.89 0.00

time (sec)

N/A 0.834 1.606 2.053 0.000 3.315 0.000 2.137 0.000

[next] [prev] [prev-tail] [front] [up]